#include "../SATSolver/SolverTypes.cuh"

struct Evaluation
{
	Var variable;
	int evaluation;
};


void quickSort(Evaluation vec[], int left, int right);
